Knihy od autora Bernhard Steffen
Zobrazeno 1 – 20 z 32 výsledků
-
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen, Maik Merten | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1996
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Model Checking, Synthesis, and Learning
Wang Yi, Bernhard Steffen | Springer Nature Switzerland AG, 2021
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
2126 Kč
-
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
50 % šance - Prohledáme celý světJazyk: Angličtina
Vazba: Brožovaná
1424 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2022
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
2126 Kč
-
Transactions on Foundations for Mastering Change I
Bernhard Steffen | Springer International Publishing AG, 2016
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Bridging the Gap between AI and Reality
Bernhard Steffen | Springer, Berlin, 2024
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
2422 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2022
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
2422 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tiziana Margaria, Bernhard Steffen | Springer International Publishing AG, 2016
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
3313 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2022
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
2422 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2022
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
3017 Kč
-
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen | Springer, Berlin, 1998
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Services and Visualization: Towards User-Friendly Design
Tiziana Margaria, Joachim Posegga, Roland Rückert, Bernhard Steffen | Springer, Berlin, 1998
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria | Springer International Publishing AG, 2017
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
-
Computing and Software Science
Bernhard Steffen, Gerhard Woeginger | Springer International Publishing AG, 2019
Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnůJazyk: Angličtina
Vazba: Brožovaná
1029 Kč
Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více
Filtrovat výsledky
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)